English logic knowledge representation: תרגום לשפות אחרות